projects / gringo.git / commit
| author | Thomas Krennwallner <tkren@kr.tuwien.ac.at> | |
| Mon, 28 Dec 2020 12:50:01 +0000 (12:50 +0000) | ||
| committer | Thomas Krennwallner <tkren@kr.tuwien.ac.at> | |
| Mon, 28 Dec 2020 12:50:01 +0000 (12:50 +0000) | ||
| commit | 70082256eb500f66a6e14d9835f0d7c894da19ad | |
| tree | ffa973e0f61ce2988233b93fee9b7adeffcd8e5d | tree | snapshot |
| parent | fa6fe0e4a7df7ea001e201e00b18b5c1a71e3da5 | commit | diff |
| parent | c60c67ba683e9ad6166ff81d7f7dd30ef6be2d73 | commit | diff |